- 定理证明技术
- theorem: n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
- prove: vt. ( -d; -d, 〔古、美〕 proven ) ...
- technique: n. 1.(专门)技术；(艺术上的)技巧，技能。 2.手 ...
- theorem proving: 定理证明
- automated theorem proving: 自定理明; 自动定理证明
下载手机词典可随时随地查词查翻译
theorem proving technique中文什么意思
- 定理证明技术
下载手机词典可随时随地查词查翻译